121. Semantics of data types :
پدیدآورنده : edited by G. Kahn, D.B. MacQueen, and G. Plotkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Data structures (Computer science) -- Congresses.,Langages de programmation -- Sémantique -- Congrès.,Programming languages (Electronic computers) -- Semantics -- Congresses.
122. Supercomputing frontiers :
پدیدآورنده : edited by David Abramson, Bronis R. de Supinski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Supercomputers, Congresses.,Supercomputers.
رده :
QA76
.
88
123. Symbolic and algebraic computation : International Symposium ISSAC'88, Rome, Italy, July 4-8, 1988 : Proceedings
پدیدآورنده : P. Gianni, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
358
124. Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings
پدیدآورنده : P. Gianni, ed
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Mathematics -- Data processing,Data processing --Congresses ، Algebra
رده :
QA
76
.
95
.
I57
1988
125. Symbolic and algebraic computation: International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988: proceedings
پدیدآورنده :
موضوع : Data processing Congresses ، Mathematics,Data processing Congresses ، Algebra
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
126. Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings
پدیدآورنده : P. Gianni, ed,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Mathematics - Data processing - Congresses,Algebra - Data processing - Congresses
رده :
QA
.
I57
76
.
95
1988
127. Symbolic and numerical scientific computation : second international conference, SNSC 2001, Hagenberg, Austria, September 12-14, 2001 : revised papers
پدیدآورنده : Franz Winkler, Ulrich Langer )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Differential equations -- Numerical solutions,Congresses ، Numerical calculations,Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
2630
128. TAPSOFT'93 : Theory and practice of software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993: proceedings
پدیدآورنده : M.C. Gaudel, J.P. Jouannaud )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
668
129. TAPSOFT'87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987
پدیدآورنده : edited by Harmut Ehrig...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
249-250
130. TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987. v.1.: Advanced seminar on foundations of innovative software development 1 and collquium on trees in algebra and programming )CAAP '87(
پدیدآورنده : Edited by Hartmut Ehrig...]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Computer software - Development,Congresses ، Software engineering,Data processing - Congresses ، Trees )Graph theory(
رده :
QA
76
.
L4
v
.
249
131. TAPSOFT'97 : theory and practice of software development : 7th International Joint Conference CAAP/ FASE ... 1997 : proceedings
پدیدآورنده : Michel Bidoit, Max Dauchet )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
1214
132. The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers
پدیدآورنده : edited by N. Inada, T. Soma
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Algebra
رده :
QA
155
.
7
.
E4I58
1984
133. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Tiziana Margaria, Bernhard Steffen, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
134. Trees in algebra and programming
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Data processing Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
166
.
2
.
C3
1986
135. Trees in algebra and programming, CAAP'96 : 21st International Colloquium, Linkoping, Sweden, April 22-24, 1996 : proceedings
پدیدآورنده : Helene Kirchner )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
1059
136. Trees in algebra and programming, CAAP'94 : 19th International Colloquium, Edinburgh, U.K., April 11-13, 1994 : proceedings
پدیدآورنده : Sophie Tison, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
787
137. Trees in algebra and programming : 8th Colloquium, L'Aquila, March 9-11, 1983: proceedings CAAP'83
پدیدآورنده : edited by G. Ausiello and M. Protasi
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
159
138. Trees in algebra and programming: 6th colloquium, Genoa, March 5-7, 1981: proceedings
پدیدآورنده :
موضوع : Data processing Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
139. Trees in algebra and programming : 6th colloquium, Genoa, March 5-7, 1981 : proceedings
پدیدآورنده : CAAP '18, )6th, 1891, Genoa, Italy(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Data processing - Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L4
v
.
112
140. Trees in algebra and programming : 8th colloquium, L'Aquila, March 9-11, 1983 : proceedings
پدیدآورنده : CAAP '38, )8th, 3891, L'Aquila, Italy(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Data processing - Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L4
v
.
159
